// Curated border color to fade into the shadow without looking too much like a border
// It adds separation between the header and flyout
$euiHeaderBorderColor: lightOrDarkTheme(
  shade($euiBorderColor, 3%),
  shade($euiColorEmptyShade, 35%)
);

$euiHeaderHeight: $euiSizeXXL + $euiSizeS;
$euiHeaderChildSize: $euiSizeXXL;
$euiHeaderHeightCompensation: $euiHeaderHeight;
